#include "output/write.h"

#include <iostream>

void write(const char* string) {
    std::cout << string;
}
